Search results for "Reactive system"
showing 5 items of 5 documents
CTR: A calculus of timed refinement
1995
This paper presents CTR — a process algebraic framework for loose specification of time quantity sensitive operational behaviour of reactive systems. CTR terms are provided both with operational and specification semantics (via the notion of specification refinement). Besides the intuitive justification of appropriateness of the refinement notion, a preservation theorem is proved for a timed variant of Hennessy-Milner logic. A comparison of CTR with the related formalism of Timed Modal Specifications, and with the timed process calculi TCCS due to Wang is given. Some pragmatics of the application of CTR is sketched on a critical resource access example.
Empathes: A general code for nudged elastic band transition states search
2022
Abstract An easy and flexible interface, Empathes (Extensible Minimum PATH EStimator), that allows to perform Nudged Elastic Band calculation for the determination of transition states is presented. The code is designed to be easily modified, in order to be associated with the user's preferred calculation software, even with those which implement composite approaches. In particular, the interfaces to Gaussian and Siesta programs are discussed in details, being the former only used for testing purpose, while the latter can be productively employed for transition states search with that commonly used density functional theory software for periodic calculations. Program summary Program Title: …
Structure evolution and reaction mechanism in the Ni/Al reactive multilayer nanofoils
2014
Abstract The extremely rapid gasless reactions in binary Ni/Al reactive multilayer nanofoils (RMNFs) are investigated both experimentally and theoretically. The quenching technique is used to study the dynamics of structural transformation on the micro- and nanoscales. The experimentally obtained patterns of structural evolution related to the heterogeneous reactions are compared with the results of molecular dynamics simulations carried out for the same reactive system. Based on the obtained data, the intrinsic mechanism of the reaction in Ni/Al RMNF is considered, which adequately explains the unusual parameters of a gasless combustion wave in such a system.
Building a new CTL model checker using Web services
2013
This Computation Tree Logic (CTL) is widely used to capture compositions of reactive systems. Model checking is particularly well-suited for the automated verification of finite-state systems, both for software and for hardware. A CTL model checker tool allows designers to automatically verify that systems satisfy specifications expressed in the language of CTL logic. In this paper we present a new CTL model checker implemented in client-server paradigm. CTL Designer, the client tool, allows an interactive construction of the CTL models as state-transition graphs. Java and C# APIs are provided for programmatic construction of large models. The server part of our tool embeds the core of the …
An Embedded Module for Iris Micro-Characteristics Extraction
2009
In this paper a new approach, based on iris micro-characteristics, has been used to make possible an embedded biometric extractor. This recognition approach is based on ophthalmologic studies that have proven the existence of different micro-characteristics as well as fingerprint minutiae. These micro-characteristics are permanent and immutable and they can be used to create strong and robust identification systems.Biometric recognition systems are critical components of our everyday lives. Since such electronic products evolve to software intensive systems, where software, becoming larger, more complex and prevalent, introduces many problems in the development phases. The development of em…